Réseaux d'automates stochastiques à temps discret

RÉSUMÉ. Les chaînes de Markov facilitent l’analyse des performances des systèmes dynamiques dans de nombreux domaines d’application. Elles sont souvent utilisées par le biais d’un formalisme de haut niveau. Parmi les différents formalismes couramment utilisés, on se place dans le cadre des réseaux d’automates stochastiques (SAN). De nombreux travaux dans ce domaine traitent les systèmes à temps continu. Les systèmes à temps discret sont plus délicats à modéliser, car plusieurs événements peuvent avoir lieu pendant une même unité de temps (événements en conflit). Nous définissons un formalisme de SAN pour les modèles à temps discret qui gère les événements en conflit, et nous proposons un algorithme de génération de la chaîne de Markov équivalente.